A theory of desynchronisable closed loop system

نویسندگان

  • Harsh Beohar
  • Pieter J. L. Cuijpers
چکیده

The task of implementing a supervisory controller is non-trivial, even though different theories exist that allow automatic synthesis of these controllers in the form of automata. One of the reasons for this discord is due to the asynchronous interaction between a plant and its controller in implementations, whereas the existing supervisory control theories assume synchronous interaction. As a consequence the implementation suffer from the so-called inexact synchronisation problem. In this paper we address the issue of inexact synchronisation in a process algebraic setting, by solving a more general problem of refinement. We construct an asynchronous closed loop system by introducing a communication medium in a given synchronous closed loop system. Our goal is to find sufficient conditions under which a synchronous closed loop system is branching bisimilar to its corresponding asynchronous closed loop system.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Design of asynchronous supervisors

One of the main drawbacks while implementing the interaction between a plant and a supervisor, synthesised by the supervisory control theory of Ramadge and Wonham, is the inexact synchronisation. Balemi was the first to consider this problem, and the solutions given in his PhD thesis were in the domain of automata theory. Our goal is to address the issue of inexact synchronisation in a process ...

متن کامل

Control of Flexible Link Robot using a Closed Loop Input-Shaping Approach

This paper is has addressed the Single Flexible Link Robot. The dynamical model is derived using Euler-Lagrange equation and then a proper controller is designed to suppress a  vibration based-on Input-Shaping (IS) method. But, IS control method is an open loop strategy. Due to the weakness of open loop control systems, a closed loop IS control system is proposed. The achieved closed loop c...

متن کامل

A New Approach in Preliminary Design of Closed Loop Solar Thermal Systems (RESEARCH NOTE)

In this paper, a model for closed loop solar system is presented and an attempt is made to generalize the model to be utilized for primary design of any solar active thermal system. This model may be used for systems in which gas or a liquid are fluids that flow. Two new parameters, namely, the system heat delivery factor and the system heat absorption factor are introduced in the model. These ...

متن کامل

The Design of a New Double Loop Controller For Simultaneous Adjustment of Input and Output Voltages of Single-Phase Grid-Connected Inverter

Although LCL filters are used widely in the grid connected inverters to reduce high-orderharmonics, such a system increases system order and therefore sustainable design of closed-loopcontroller system will be complicated. Recently, the single-loop control strategy has beensuggested for L or LC filter based grid-connected inverters. However, the use of single-loopcontrol directly in LCL filter-...

متن کامل

Definition of General Operator Space and The s-gap Metric for Measuring Robust Stability of Control Systems with Nonlinear Dynamics

In the recent decades, metrics have been introduced as mathematical tools to determine the robust stability of the closed loop control systems. However, the metrics drawback is their limited applications in the closed loop control systems with nonlinear dynamics. As a solution in the literature, applying the metric theories to the linearized models is suggested. In this paper, we show that usin...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010